ES\{i\} $\in$ Type$_{\mbox{\scriptsize i'}}$